rTisane: Externalizing conceptual models for data analysis increases engagement with domain knowledge and improves statistical model quality

Statistical models should accurately reflect analysts' domain knowledge about variables and their relationships. While recent tools let analysts express these assumptions and use them to produce a resulting statistical model, it remains unclear what analysts want to express and how externalization impacts statistical model quality. This paper addresses these gaps. We first conduct an exploratory study of analysts using a domain-specific language (DSL) to express conceptual models. We observe a preference for detailing how variables relate and a desire to allow, and then later resolve, ambiguity in their conceptual models. We leverage these findings to develop rTisane, a DSL for expressing conceptual models augmented with an interactive disambiguation process. In a controlled evaluation, we find that rTisane's DSL helps analysts engage more deeply with and accurately externalize their assumptions. rTisane also leads to statistical models that match analysts' assumptions, maintain analysis intent, and better fit the data

JUGE: An Infrastructure for Benchmarking Java Unit Test Generators

Researchers and practitioners have designed and implemented various automated test case generators to support effective software testing. Such generators exist for various languages (e.g., Java, C#, or Python) and for various platforms (e.g., desktop, web, or mobile applications). Such generators exhibit varying effectiveness and efficiency, depending on the testing goals they aim to satisfy (e.g., unit-testing of libraries vs. system-testing of entire applications) and the underlying techniques they implement. In this context, practitioners need to be able to compare different generators to identify the most suited one for their requirements, while researchers seek to identify future research directions. This can be achieved through the systematic execution of large-scale evaluations of different generators. However, the execution of such empirical evaluations is not trivial and requires a substantial effort to collect benchmarks, setup the evaluation infrastructure, and collect and analyse the results. In this paper, we present our JUnit Generation benchmarking infrastructure (JUGE) supporting generators (e.g., search-based, random-based, symbolic execution, etc.) seeking to automate the production of unit tests for various purposes (e.g., validation, regression testing, fault localization, etc.). The primary goal is to reduce the overall effort, ease the comparison of several generators, and enhance the knowledge transfer between academia and industry by standardizing the evaluation and comparison process. Since 2013, eight editions of a unit testing tool competition, co-located with the Search-Based Software Testing Workshop, have taken place and used and updated JUGE. As a result, an increasing amount of tools (over ten) from both academia and industry have been evaluated on JUGE, matured over the years, and allowed the identification of future research directions

Revisiting the Relationship Between Fault Detection,Test Adequacy Criteria, and Test Set Size

The research community has long recognized a complex interrelationship between test set size, test adequacy criteria, and test effectiveness in terms of fault detection. However, there is substantial confusion about the role and importance of controlling for test set size when assessing and comparing test adequacy criteria. This paper makes the following contributions: (1) A review of contradictory analyses of the relationship between fault detection, test suite size, and test adequacy criteria. Specifically, this paper addresses the supposed contradiction of prior work and explains why test suite size is neither a confounding variable, as previously suggested,nor an independent variable that should be experimentally manipulated. (2) An explication and discussion of the experimental design and sampling strategies of prior work, together with a discussion of conceptual and statistical problems, and specific guidelines for future work. (3) A methodology for comparing test-adequacy criteria on an equal basis, which accounts for test suite size by treating it as a covariate. (4) An empirical evaluation that compares the effectiveness of coverage-based and mutation-based testing to one another and random testing. Additionally, this paper proposes probabilistic coupling, a methodology for approximating the representativeness of a set of test goals for a given set of real fault

Density dependence in marine protected populations: a review

The cessation or reduction of fishing in marine protected areas (MPAs) should promote an increase in abundance and mean size and age of previously exploited populations. Thus density-dependent changes in life-history characteristics should occur when populations are allowed to recover in MPAs. In this review, we synthesize the existing information on resource limitation in marine ecosystems, density-dependent changes in life-history traits of exploited populations and evidence for biomass export from MPAs. Most evidence for compensatory changes in biological variables has been derived from observations on populations depleted by high fishing mortality or on strong year classes, but these changes are more evident in juveniles than in adults and in freshwater rather than in marine systems. It is unclear if adults of exploited marine populations are resource limited. This may suggest that exploited populations are controlled mainly by density-independent processes, which could be a consequence of the depleted state of most exploited populations. MPAs could be a useful tool for testing these hypotheses. If we assume that resources become limiting inside MPAs, it is plausible that, if suitable habitats exist, mobile species will search for resources outside of the MPAs, leading to export of biomass to areas which are fished. However, it is not possible to establish from the available data whether this export will be a response to resource limitation inside the MPAs, the result of random movements across MPA boundaries or both. We discuss the implications of this process for the use of MPAs as fisheries management tools.Financial support was provided by the EU CEC DGXII – MAST III contract number: MAS3-ct97-0155

POV: Obama's ban on juvenile solitary confinement

Point of view article in BU Toda

La inconsistencia ideológica del pueblo ecuatoriano, y de qué manera esta actitud psicosocial ha influido en el desarrollo político, social, económico y cultural del Ecuador de 1.970 A 1.991

Este trabajo de Investigación Individual es principalmente de análisis y debate. El punto de vista con que están tratados los antecedentes histórico-políticos creara importantes controversias en la mente del lector; además, se desarrolla un estudio cronológico de la evolución de las tendencias ideológicas, partidos políticos, todo esto en los capítulos I y II. El capítulo III analiza por parte del autor la planificación y ejecución de la seguridad nacional y el desarrollo, desde el punto de vista cronológico, por modelo de desarrollo vigente y por tipo de gobierno. Además, cita opiniones altamente calificadas que sugieren alternativas de solución. En el capítulo IV se hace un análisis de los métodos que impidieron la difusión de unas ideologías y apoyaron otras, también se describe, a criterio del autor, de qué manera los grupos de poder político – económico desnaturalizaron la conciencia política del pueblo ecuatoriano en todos sus niveles. En este mismo capítulo, también se ponen a consideración del lector los resultados de una encuesta con preguntas abiertas y cerradas, que descubre de forma general la opinión pública nacional, a través, de muestras equitativas de Quito, Guayaquil, Portoviejo, Nueva Loja y Cuenca

BUSM News and Notes

Monthly newsletter providing updates of interest to the Boston University School of Medicine community

Climate, host and geography shape insect and fungal communities of trees.

Non-native pests, climate change, and their interactions are likely to alter relationships between trees and tree-associated organisms with consequences for forest health. To understand and predict such changes, factors structuring tree-associated communities need to be determined. Here, we analysed the data consisting of records of insects and fungi collected from dormant twigs from 155 tree species at 51 botanical gardens or arboreta in 32 countries. Generalized dissimilarity models revealed similar relative importance of studied climatic, host-related and geographic factors on differences in tree-associated communities. Mean annual temperature, phylogenetic distance between hosts and geographic distance between locations were the major drivers of dissimilarities. The increasing importance of high temperatures on differences in studied communities indicate that climate change could affect tree-associated organisms directly and indirectly through host range shifts. Insect and fungal communities were more similar between closely related vs. distant hosts suggesting that host range shifts may facilitate the emergence of new pests. Moreover, dissimilarities among tree-associated communities increased with geographic distance indicating that human-mediated transport may serve as a pathway of the introductions of new pests. The results of this study highlight the need to limit the establishment of tree pests and increase the resilience of forest ecosystems to changes in climate

Essai d'une théorie sur la structure des crystaux, appliquée à plusieurs genres de substances crystallisées

par ... Hau